1,207 research outputs found

    2010 Fine Art Graduation Exhibition Catalogue

    Get PDF
    Party\u27s Over Graduation Exhibition 2010 Fanshawe College Fine Art Program The ARTS ProjectApril 13-24, 2010 Guest Speaker: Scott Everingham The Bijan\u27s Art Studio Award will be presented at the Opening Receptionhttps://first.fanshawec.ca/famd_design_fineart_gradcatalogues/1020/thumbnail.jp

    Identifying Barriers to Forage Innovation: Native Grasses and Producer Knowledge

    Get PDF
    Adoption of native warm-season grasses (NWSGs) in the tall fescue belt is limited despite studies documenting the potential contribution of these forages to profitable beef production. On the basis of two surveys conducted in Tennessee, a survey of beef producers and a survey of agricultural professionals, we evaluated perceptions of NWSG forages and how those perceptions could influence their adoption. Although agricultural professionals were more familiar with NWSGs than producers, both populations had limited knowledge regarding these forages, indicating that additional Extension education is needed. Our results provide useful guidance for developing NWSG forage educational programs for producers and agricultural professionals

    GPUVerify: A Verifier for GPU Kernels

    Get PDF
    We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in mainstream ker-nel programming languages such as OpenCL and CUDA. Our approach is founded on a novel formal operational se-mantics for GPU programming termed synchronous, delayed visibility (SDV) semantics. The SDV semantics provides a precise definition of barrier divergence in GPU kernels and allows kernel verification to be reduced to analysis of a sequential program, thereby completely avoiding the need to reason about thread interleavings, and allowing existing modular techniques for program verification to be leveraged. We describe an efficient encoding for data race detection and propose a method for automatically inferring loop invari-ants required for verification. We have implemented these techniques as a practical verification tool, GPUVerify, which can be applied directly to OpenCL and CUDA source code. We evaluate GPUVerify with respect to a set of 163 kernels drawn from public and commercial sources. Our evaluation demonstrates that GPUVerify is capable of efficient, auto-matic verification of a large number of real-world kernels

    Graph manifolds, left-orderability and amalgamation

    Full text link
    We show that every irreducible toroidal integer homology sphere graph manifold has a left-orderable fundamental group. This is established by way of a specialization of a result due to Bludov and Glass for the almagamated products that arise, and in this setting work of Boyer, Rolfsen and Wiest may be applied. Our result then depends on input from 3-manifold topology and Heegaard Floer homology.Comment: 17 page

    Linac modeling for external beam radiotherapy quality assurance using a dedicated 2D pixelated detector

    No full text
    International audienceQuality assurance is a key issue in intensity modulated radiotherapy. Errors can occur in the dose delivery process induces significant differences between the planned treatment and the delivered one. In this context, the Medical Application Physics group of the LPSC is developing TraDeRa (Transparent Detector for Radiotherapy), a 2D pixelated matrix of ionization chambers located upstream to the patient. The signal map obtained with TraDeRa has to be processed to provide medical observables to quantify the quality of the treatment delivery. This relies on accurate Monte Carlo simulations benchmarked with measurements performed under a linear accelerator (Linac).The work described in this paper lies in the optimization of the Linac head simulation and the development of an innovative Monte Carlo/measurements comparison method to perform an accurate enough model of the X-ray production device. An optimized parametrization of the particles transport allowed an increase of the simulation efficiency by a factor 3. The characteristics of an electron beam of a reference Linac were matched with the simulation results by using dose deposition of the created X-ray beam in a water tank. Two parameters are particularly critical: the nominal energy of the electrons and the radial distribution of impact on the target. The innovative method was able to provide within minutes those two parameters for any Linac, achieving, for example, a 10 keV precision on the energy determination for a 6 MV operating Linac
    corecore